Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
521	ClojureBridge Berlin ● free, beginner-friendly Clojure programming workshops for women ● increase diversity within the Clojure community ● organized by volunteers Add to Reading List Source URL: clojurebridge-berlin.github.io Language: English - Date: 2016-06-08 17:38:14 Computing Software engineering Computer programming Lisp Functional languages Scripting languages Clojure
522	Using Moose to build an Object Oriented Application What is Moose ? The goal of Moose is to increase programmer productivity by providing “proper” OO syntax Add to Reading List Source URL: miltonkeynes.pm.org Language: English - Date: 2016-02-03 15:58:00 Computer programming Software engineering Moose Computing Object-oriented programming Object Functional programming Immutable object This Method Joose Perl language structure
523	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
524	IBM Presentations: Smart Planet Template Add to Reading List Source URL: pengwu.files.wordpress.com Language: English - Date: 2014-01-02 16:27:05 Array programming languages Functional languages Java platform Cross-platform software Compiler construction Just-in-time compilation R Java Bytecode Interpreter PyPy Profiling
525	I NVITED S ECTION : T HE F UTURE OF R 5 Aspects of the Social Organization and Trajectory of the R Project Add to Reading List Source URL: journal.r-project.org Language: English Software Computing Functional languages Free statistical software Literate programming R Bioconductor The R Journal Open-source software development SageMath Package manager Arch Linux
526	Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Programming language comparisons Functional languages Monad Generic programming Type class Algebraic data type
527	Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:06 Scripting languages Functional languages Cross-platform software JavaScript Web programming Scope ECMAScript Eval Closure C Sharp Caja project JavaScript syntax
528	Opening the Black Boxes in Data Flow Optimization †4 Fabian Hueske1 Mathias Peters†2 Matthias J. Sax†3 Astrid Rheinlander Add to Reading List Source URL: stratosphere.eu Language: English* - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Functional analysis Distributed computing architecture Parallel computing Parallelization contract Relational database Restriction Relational model Operator Higher-order function
529	Modernizing Plan-Composition Studies Kathi Fisler Shriram Krishnamurthi Janet Siegmund Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2016-01-25 09:58:50 Software engineering Computer programming Computing Programming paradigms Recursion Theoretical computer science Computability theory Functional programming Tree traversal Go Problem solving Procedural programming
530	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form

UPDATE